首页> 外文OA文献 >A study of non-Boolean constraints in variability models of an embedded operating system

【2h】

A study of non-Boolean constraints in variability models of an embedded operating system

机译：嵌入式操作系统可变性模型中非布尔约束的研究

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Passos, Leonardo Teixeira; Berger, Thorsten; Novakovic, Marko; Czarnecki, Krzysztof; Xiong, Yingfei; Wasowski, Andrzej;
展开▼
作者单位

展开▼
年度 2011
总页数
原文格式 PDF
正文语种 eng
中图分类

相似文献

外文文献
中文文献
专利

1. Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints [J] . Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Journal of Logic and Algebraic Programming . 2016,第2期

机译：对产品系列中的可变性进行建模和分析：具有可变性约束的模态转换系统的模型检查
2. Non-Deterministic Behavior Modeling Framework for Embedded Real-Time Systems Operating in Uncertain Environments [J] . Laxmisha Rai, Joongjin Kook, Jiman Hong Journal of Information Recording . 2010,第1期

机译：在不确定环境中运行的嵌入式实时系统的非确定性行为建模框架
3. Optimization of sub-ambient separation systems with embedded cubic equation of state thermodynamic models and complementarity constraints [J] . Alexander W. Dowling, Cheshta Balwani, Qianwen Gao, Computers & Chemical Engineering . 2015,第octa4期

机译：具有嵌入状态立方热力学模型和互补约束的环境分离系统的优化
4. Variability Modeling in the Real: A Perspective from the Operating Systems Domain [C] . Thorsten Berger, Steven She, Rafael Lotufo, IEEE/ACM international conference on automated software engineering 2010 . 2010

机译：真实性中的可变性建模：来自操作系统领域的视角
5. Bus Replacement Modeling and the Impacts of Budget Constraints, Fleet Cost Variability, and Market Changes on Fleet Costs and Optimal Bus Replacement Age, A Case Study [D] . Boudart, Jesse Alexander 2011

机译：公交车替换模型以及预算约束，车队成本差异和市场变化对车队成本和最佳公交车替换年龄的影响，案例研究
6. Exploring a New Model of End-of-Life Care for Older People That Operates in the Space Between the Life World and the Healthcare System: A Qualitative Case Study [O] . Steven Dodd, Nancy Preston, Sheila Payne, 2020

机译：探索在生活世界与医疗系统之间的空间中运作的老年人的新型号新型号：定性案例研究
7. A study of non-boolean constraints in variability models of an embedded operating system [O] . Leonardo Passos, Thorsten Berger, Marko Novakovic, 2013

机译：嵌入式操作系统变异性模型中非布尔约束的研究

A study of non-Boolean constraints in variability models of an embedded operating system

著录项

引文网络

相似文献

相关主题

期刊订阅